perm filename FUNCTI.LSP[W87,JMC] blob sn#837521 filedate 1987-03-25 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	functi.lsp[w87,jmc]	doing continuous functions in ekl
C00003 ENDMK
C⊗;
;functi.lsp[w87,jmc]	doing continuous functions in ekl

(axiom |∀f.(∀x.nice(f(x)) ⊃ nice1(f)|)